The Relative Expressivity of Public and Private Communication in BMS Logic
نویسنده
چکیده
Dynamic Epistemic Logic (DEL) is the study of formal logics that reason about knowledge change. In DEL research, events that cause changes in knowledge are called updates. One class of updates—the BMS updates due to Baltag, Moss, and Solecki—has received much attention in the DEL literature because of the joint expressive power of the various BMS Logics based on these updates. There is, however, very little known about the relative expressive power of the BMS Logics based on individual BMS updates. The purpose of the present paper is two-fold. First, we provide a succinct, self-contained exposition of the rather complicated syntax and semantics for the class of BMS Logics. Second, we study the relative expressivity of BMS Logics for public and private communication. The results we obtain are a first-step in a larger study whose aim is to characterize the relative expressive power of BMS Logics in general.
منابع مشابه
TR-2007012: The Relative Expressivity of Public and Private Communication in BMS Logic
Dynamic Epistemic Logic (DEL) is the study of formal logics that reason about knowledge change. In DEL research, events that cause changes in knowledge are called updates. One class of updates—the BMS updates due to Baltag, Moss, and Solecki—has received much attention in the DEL literature because of the joint expressive power of the various BMS Logics based on these updates. There is, however...
متن کاملTR-2008001: Public and Private Communication Are Different: Results on Relative Expressivity
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DEL language for public and private communication. It is shown that the language of public communication with common knowledge and the language of private communication with common knowledge are expressively incomparable...
متن کاملPublic and private communication are different: results on relative expressivity
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DEL language for public and private communication. It is shown that the language of public communication with common knowledge and the language of private communication with common knowledge are expressively incomparable...
متن کاملTR-2007025: Public Communication in Justification Logic
Justification Logic is the study of a family of logics used to reason about justified true belief. Dynamic Epistemic Logic is the study of a family of logics obtained by adding various kinds of communication to the language of multi-modal logic, yielding languages for reasoning about communication and true belief. This paper is a first-step in merging these two areas, in that it brings the most...
متن کاملSocial Logic of Kitchen Space in Vernacular Architecture (Case Study: Qeshm Housing) – Examination and Analysis
Culture and social relations play a significant role in the formation of the structure of vernacular housing of any region, especially in the Islamic countries where privacy has a considerable effect on the vernacular culture, and consequently, on the house’s structure. Among the house spaces, the kitchen is more affected than other spaces by such issues so that its relations pattern with other...
متن کامل